Biblioteca da Universidade do Minho catalog › Results of search for 'Lecture notes in computer science'

Your search returned 450 results.

		Matrix eigensystem routines : Eispack guide extension / B. S. Garbow ... [et al.] Monografia Publication Berlin : Springer-Verlag, 1977 Description VIII, 343 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Finite representations of CCS and TCSP programs by automata and Petri Nets / Dirk Taubner Monografia Publication Berlin : Springer-Verlag, cop. 1989 Description X, 168 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Foundations of logic and functional programming / ed. M. Boscarol, L. Carlucci Aiello, G. Levi Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description IV, 218 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Mathematical foundations of computer science 1990 / Proceedings of the 15th Symposium... ; ed. B. Rovan Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description VIII, 544 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Advances in petri-nets 1985 / ed. G. Rozenberg Monografia Publication Berlin : Springer-Verlag, 1986 Description 498 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Visualization in human-computer interaction / Interdisciplinary workshop on Informatics and Psychology ; ed. P. Gorny, M. J. Tauber Monografia Publication Berlin : Springer-Verlag, 1990 Description VI, 272 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Natural language at the computer / ed. A. Blaser Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description 176 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Recent trends in data type specification / 5th Workshop... ; ed. D. Sannella, A. Tarlecki Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description 259 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1). 1 2 3 4 5 Add to cart (remove)
		STACS 89 / Proceedings of 6th Annual Symposium... ; ed. B. Monien, R. Cori Monografia Publication Berlin : Springer-Verlag, 1989 Description VIII, 543 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		ESEC'89 / Proceedings of 2nd European Software Engineering Conference ; ed. C. Ghezzi, J. A. McDermid Monografia Publication Berlin : Springer-Verlag, 1989 Description VI, 496 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available TAPSOFT'89 / Proceedings of the International Joint Conference... ; ed. J. Díaz, F. Orejas Monografia Publication Berlin : Springer-Verlag, 1989 Description v. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Lost (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Trends, techniques, and problems in theoretical computer science / 4th International Meeting of Young Computer Scientists ; ed. Alica Kelemenová, Jozef Kelemen Monografia Publication Berlin : Springer-Verlag, 1987 Description VI, 213 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Advances in Petri Nets 1987 / ed. Grzegorz Rozenberg Monografia Publication Berlin : Springer-Verlag, cop. 1987 Description VI, 451 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Logics for concurrency : structure versus automata / ed. Faron Moller, Graham Birtwistle Monografia Publication Berlin : Springer, 1996 Description XI, 266 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Objective software quality : objective quality : second symposium on software quality Techniques and Acquisition Criteria / Paolo Nesi Monografia Publication Berlin : Springer, cop. 1995 Description VIII, 248 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Concur'95 : concurrency theory : proceedings / 6th International Conference... ; ed. Insup Lee, Scott A. Smolka Monografia Publication Berlin : Springer-Verlag, 1995 Description X, 545 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Parallel problem solving from nature - PPSN III : proceedings / International Conference on Evolutionary Computation, The Third Conference on... ; ed. Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer Monografia Publication Berlin : Springer-Verlag, cop. 1994 Description XV, 642 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Distributed software agents and applications / ed. John W. Perram, Jean-Pierre Müller Monografia Publication Berlin : Springer-Verlag, cop. 1996 Description VIII, 219 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Reference (1). 1 2 3 4 5 Add to cart (remove)
		No cover image available Software configuration management : selected papers / ICSE'96 SCM-6 Workshop ; ed. Ian Sommerville Monografia Publication Berlin : Springer, 1996 Description VII, 290 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Advances in artificial intelligence : proceedings / 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence ; ed. Gordon McCalla Monografia Publication Berlin : Springer-Verlag, cop. 1996 Description XII, 456 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)